Henglein, Fritz: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Relational algebra by way of adjunctions

Gibbons, Jeremy, Henglein, Fritz, Hinze, Ralf, Wu, Nicolas

Journal:

Proceedings of the ACM on Programming Languages

Year:

2018

Language:

english

File:

PDF, 436 KB

english, 2018

2

Editorial

Olivier Danvy, Fritz Henglein, Harry Mairson, Alberto Pettorossi

Journal:

Higher-Order and Symbolic Computation

Year:

2005

Language:

english

File:

PDF, 78 KB

english, 2005

3

Editorial

Olivier Danvy, Fritz Henglein, Harry Mairson, Alberto Pettorossi

Journal:

Higher-Order and Symbolic Computation

Year:

2003

Language:

english

File:

PDF, 29 KB

english, 2003

4

Automated Execution of Financial Contracts on Blockchains

Egelund-Müller, Benjamin, Elsman, Martin, Henglein, Fritz, Ross, Omri

Journal:

Business & Information Systems Engineering

Year:

2017

Language:

english

File:

PDF, 745 KB

english, 2017

5

Type inference with polymorphic recursion

Henglein, Fritz

Journal:

ACM Transactions on Programming Languages and Systems

Year:

1993

Language:

english

File:

PDF, 2.15 MB

english, 1993

6

Editorial for the Special Issue on Parallel and Concurrent Functional Programming

Keller, Gabriele, Henglein, Fritz

Journal:

Journal of Functional Programming

Year:

2018

Language:

english

File:

PDF, 41 KB

english, 2018

7

Besprechungen

G. Hamel, Aderhold, W. Schottky, Fritz von Schmoller, Fr. Conrad, C. Matschoss, F. A. Henglein, S. v. Bubnoff

Journal:

Naturwissenschaften (The Science of Nature)

Year:

1936

Language:

german

File:

PDF, 844 KB

german, 1936

8

[ACM Press the 1992 ACM conference - San Francisco, California, United States (1992.06.22-1992.06.24)] Proceedings of the 1992 ACM conference on LISP and functional programming - LFP '92 - Global tagging optimization by type inference

Henglein, Fritz

Year:

1992

Language:

english

File:

PDF, 1.11 MB

english, 1992

9

Dynamic typing: syntax and proof theory

Journal:

Science of Computer Programming

Year:

1994

Language:

english

File:

PDF, 2.26 MB

english, 1994

10

Large-scale sound and precise program analysis

Henglein, Fritz

Journal:

Communications of the ACM

Year:

2010

Language:

english

File:

PDF, 97 KB

english, 2010

11

[ACM Press the seventh international conference - La Jolla, California, United States (1995.06.26-1995.06.28)] Proceedings of the seventh international conference on Functional programming languages and computer architecture - FPCA '95 - Safe polymorphic type inference for a dynamically typed language

Henglein, Fritz, Rehof, Jakob

Year:

1995

Language:

english

File:

PDF, 1.27 MB

english, 1995

12

[ACM Press the 18th ACM SIGPLAN-SIGACT symposium - Orlando, Florida, United States (1991.01.21-1991.01.23)] Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '91 - The complexity of type inference for higher-order lambda calculi

Henglein, Fritz, Mairson, Harry G.

Year:

1991

Language:

english

File:

PDF, 1.02 MB

english, 1991

13

Generic discrimination

Henglein, Fritz

Journal:

ACM SIGPLAN Notices

Year:

2008

Language:

english

File:

PDF, 282 KB

english, 2008

14

Regular expression containment

Henglein, Fritz, Nielsen, Lasse

Journal:

ACM SIGPLAN Notices

Year:

2011

Language:

english

File:

PDF, 626 KB

english, 2011

15

[ACM Press the 38th ACM SIGPLAN Conference - Barcelona, Spain (2017.06.18-2017.06.23)] Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2017 - Futhark: purely functional GPU-programming with nested parallelism and in-place array updates

Henriksen, Troels, Serup, Niels G. W., Elsman, Martin, Henglein, Fritz, Oancea, Cosmin E.

Year:

2017

Language:

english

File:

PDF, 394 KB

english, 2017

16

Specification and transformation of programs : Helmut Partsch, (Springer, Heidelberg, 1990), Price 78.00 DM (hardback), ISBN 3-540-52356-1.

Journal:

Science of Computer Programming

Year:

1991

Language:

english

File:

PDF, 348 KB

english, 1991

17

What is a Sorting Function?

Journal:

The Journal of Logic and Algebraic Programming

Year:

2009

Language:

english

File:

PDF, 696 KB

english, 2009

18

FinPar

Andreetta, Christian, Bégot, Vivien, Berthold, Jost, Elsman, Martin, Henglein, Fritz, Henriksen, Troels, Nordfang, Maj-Britt, Oancea, Cosmin E.

Journal:

ACM Transactions on Architecture and Code Optimization

Year:

2016

Language:

english

File:

PDF, 1.88 MB

english, 2016

19

[ACM Press the 1988 ACM conference - Snowbird, Utah, United States (1988.07.25-1988.07.27)] Proceedings of the 1988 ACM conference on LISP and functional programming - LFP '88 - Type inference and semi-unification

Henglein, Fritz

Year:

1988

Language:

english

File:

PDF, 1.21 MB

english, 1988

20

[ACM Press Proceeding of the 13th ACM SIGPLAN international conference - Victoria, BC, Canada (2008.09.20-2008.09.28)] Proceeding of the 13th ACM SIGPLAN international conference on Functional programming - ICFP '08 - Generic discrimination

Henglein, Fritz

Year:

2008

Language:

english

File:

PDF, 282 KB

english, 2008

21

Book review

Journal:

Formal Aspects of Computing

Year:

1992

Language:

english

File:

PDF, 169 KB

english, 1992

22

The complexity of type inference for higher-order typed lambda calculi

Henglein, Fritz, Mairson, Harry G.

Journal:

Journal of Functional Programming

Year:

1994

Language:

english

File:

PDF, 2.11 MB

english, 1994

23

Global tagging optimization by type inference

Henglein, Fritz

Journal:

ACM SIGPLAN Lisp Pointers

Year:

1992

Language:

english

File:

PDF, 1.11 MB

english, 1992

24

[ACM Press the 38th annual ACM SIGPLAN-SIGACT symposium - Austin, Texas, USA (2011.01.26-2011.01.28)] Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '11 - Regular expression containment

Henglein, Fritz, Nielsen, Lasse

Year:

2011

Language:

english

File:

PDF, 626 KB

english, 2011

25

[ACM Press the 2010 ACM Symposium - Sierre, Switzerland (2010.03.22-2010.03.26)] Proceedings of the 2010 ACM Symposium on Applied Computing - SAC '10 - A standard-driven implementaion of WS-BPEL 2.0

Hallwyl, Tim, Henglein, Fritz, Hildebrandt, Thomas

Year:

2010

Language:

english

File:

PDF, 321 KB

english, 2010

26

[ACM Press the 6th ACM SIGPLAN workshop - Baltimore, Maryland, USA (2010.09.26-2010.09.26)] Proceedings of the 6th ACM SIGPLAN workshop on Generic programming - WGP '10 - Generic multiset programming for language-integrated querying

Henglein, Fritz, Larsen, Ken Friis

Year:

2010

Language:

english

File:

PDF, 508 KB

english, 2010

27

[ACM Press the 1st ACM SIGPLAN workshop - Copenhagen, Denmark (2012.09.15-2012.09.15)] Proceedings of the 1st ACM SIGPLAN workshop on Functional high-performance computing - FHPC '12 - Financial software on GPUs

Oancea, Cosmin E., Andreetta, Christian, Berthold, Jost, Frisch, Alain, Henglein, Fritz

Year:

2012

Language:

english

File:

PDF, 778 KB

english, 2012

28

POETS: Process-oriented event-driven transaction systems

Fritz Henglein, Ken Friis Larsen, Jakob Grue Simonsen, Christian Stefansen

Journal:

The Journal of Logic and Algebraic Programming

Year:

2009

Language:

english

File:

PDF, 1021 KB

english, 2009

29

Generic top-down discrimination for sorting and partitioning in linear time

HENGLEIN, FRITZ

Journal:

Journal of Functional Programming

Year:

2012

Language:

english

File:

PDF, 852 KB

english, 2012

30

Infinitary Axiomatization of the Equational Theory of Context-Free Languages

Grathwohl, Niels Bjørn Bugge, Henglein, Fritz, Kozen, Dexter, Baelde, David, Carayol, Arnaud, Matthes, Ralph, Walukiewicz, Igor

Journal:

Fundamenta Informaticae

Year:

2017

Language:

english

File:

PDF, 238 KB

english, 2017

31

Compositional specification of commercial contracts

Jesper Andersen, Ebbe Elsborg, Fritz Henglein, Jakob Grue Simonsen, Christian Stefansen

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2006

Language:

english

File:

PDF, 3.32 MB

english, 2006

32

Generic multiset programming with discrimination-based joins and symbolic Cartesian products

Fritz Henglein, Ken Friis Larsen

Journal:

Higher-Order and Symbolic Computation

Year:

2010

Language:

english

File:

PDF, 1.14 MB

english, 2010

33

[IEEE 2012 6th International Workshop on Software Clones (IWSC) - Zurich, Switzerland (2012.06.4-2012.06.4)] 2012 6th International Workshop on Software Clones (IWSC) - Clone detection using rolling hashing, suffix trees and dagification: A case study

Thomsen, Mikkel Jonsson, Henglein, Fritz

Year:

2012

Language:

english

File:

PDF, 479 KB

english, 2012

34

[ACM Press the 21st ACM SIGPLAN-SIGACT symposium - Portland, Oregon, United States (1994.01.16-1994.01.19)] Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '94 - Formally optimal boxing

Henglein, Fritz, Jørgensen, Jesper

Year:

1994

Language:

english

File:

PDF, 1.46 MB

english, 1994

35

Automated Execution of Financial Contracts on Blockchains

Egelund-M ller, Benjamin, Elsman, Martin, Henglein, Fritz, Ross, Omri

Journal:

SSRN Electronic Journal

Year:

2017

Language:

english

File:

PDF, 635 KB

english, 2017

36

Mechanical translation of set theoretic problem specifications into efficient RAM code-A case study

Robert Paige, Fritz Henglein

Journal:

Journal of Symbolic Computation

Year:

1987

Language:

english

File:

PDF, 1.78 MB

english, 1987

37

Automatic Program Development ||

Danvy, Olivier, Mairson, Harry, Henglein, Fritz, Pettorossi, Alberto

Year:

2008

Language:

english

File:

PDF, 11.90 MB

english, 2008

38

Breaking through then3 barrier: Faster object type inference

Henglein, Fritz

Journal:

Theory and Practice of Object Systems

Year:

1999

Language:

english

File:

PDF, 217 KB

english, 1999

39

[ACM Press the 26th ACM SIGPLAN-SIGACT symposium - San Antonio, Texas, United States (1999.01.20-1999.01.22)] Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '99 - AnnoDomini

Eidorff, Peter Harry, Henglein, Fritz, Mossin, Christian, Niss, Henning, Sørensen, Morten Heine, Tofte, Mads

Year:

1999

Language:

english

File:

PDF, 1.53 MB

english, 1999

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски